🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·5h·
Discuss: Hacker News
👑Isabelle
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·18h
✅Format Verification
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·13h·
Discuss: DEV
🔲Cellular Automata
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Understanding Tool-Integrated Reasoning
arxiv.org·2h
🔗Constraint Handling
Implementing Forth in Go and C
eli.thegreenplace.net·3h·
Discuss: Hacker News
🔗Concatenative Programming
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·16h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·12h·
Discuss: DEV
🧠Intelligence Compression
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·14h
⬆️Lambda Lifting
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·2d·
Discuss: Hacker News
🌳Incremental Parsing
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·17h
🦀Rust Macros
VISION: Robust and Interpretable Code Vulnerability Detection Leveraging Counterfactual Augmentation
arxiv.org·2h
🔍Vector Forensics
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers